Socrates (SU Catalog)

Simple Search Combined Search Call No. Browse Electronic Resources Course Reserves

record 1 of 1 for search "8234899{ckey}"

[SearchWorks]

Continue your search for

Articles and books (Google Scholar Beta)

[help]

Find more by these authors Find more on these topics

Principles of model checking
Baier, Christel.

Jump to call number/location/availability

Author:	Baier, Christel.
Title:	Principles of model checking / Christel Baier, Joost-Pieter Katoen.
Imprint:	Cambridge, Mass. : MIT Press, [2008]
Physical Description:	xvii, 975 p. : ill. ; 26 cm.
Note:	Includes bibliographical references (p. 931-964) and index.
Subject (LC):	Computer systems--Verification.
Subject (LC):	Computer software--Verification.
Added author:	Katoen, Joost-Pieter.
ISBN:	026202649X (cloth)
ISBN:	9780262026499 (cloth)

Catkey: 8234899

Call Number, Location, and Availability
Mathematical & Computer Sciences Library [Nearby items on shelf]
	Copy	Holds	Location
QA76.76 .V47 B35 2008	1		STACKS